[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 67 60 93 78 0 0 87

N.S.

1 1.00 0.61 0.55 0.85 0.72 0.00 0.00 0.80

time (sec)

N/A 0.217 0.397 2.257 0.278 0.376 0.000 0.000 0.263

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 59 52 82 70 0 207 53

N.S.

1 1.00 0.68 0.60 0.94 0.80 0.00 2.38 0.61

time (sec)

N/A 0.197 0.370 2.218 0.287 0.361 0.000 0.294 10.064

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 52 44 71 62 0 0 71

N.S.

1 1.00 0.80 0.68 1.09 0.95 0.00 0.00 1.09

time (sec)

N/A 0.185 0.319 2.181 0.282 0.636 0.000 0.000 0.184

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 43 36 47 54 0 79 43

N.S.

1 1.00 0.96 0.80 1.04 1.20 0.00 1.76 0.96

time (sec)

N/A 0.172 0.320 2.310 0.278 0.280 0.000 0.277 0.162

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 35 30 36 45 0 26 36

N.S.

1 1.00 1.59 1.36 1.64 2.05 0.00 1.18 1.64

time (sec)

N/A 0.143 0.353 2.579 0.283 0.276 0.000 0.266 9.937

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 64 77 77 0 106 0 55 0

N.S.

1 0.97 1.17 1.17 0.00 1.61 0.00 0.83 0.00

time (sec)

N/A 0.182 0.462 2.274 0.000 0.288 0.000 0.277 0.000

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 69 99 0 122 0 64 0

N.S.

1 1.00 0.95 1.36 0.00 1.67 0.00 0.88 0.00

time (sec)

N/A 0.184 0.521 2.173 0.000 0.283 0.000 0.285 0.000

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 84 72 124 0 139 0 67 0

N.S.

1 0.98 0.84 1.44 0.00 1.62 0.00 0.78 0.00

time (sec)

N/A 0.190 0.517 2.242 0.000 0.348 0.000 0.276 0.000

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 80 165 0 163 0 84 0

N.S.

1 1.00 0.71 1.46 0.00 1.44 0.00 0.74 0.00

time (sec)

N/A 0.206 0.555 2.180 0.000 0.300 0.000 0.290 0.000

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 88 206 0 187 0 101 0

N.S.

1 1.00 0.61 1.43 0.00 1.30 0.00 0.70 0.00

time (sec)

N/A 0.224 0.618 2.385 0.000 0.337 0.000 0.290 0.000

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 53 47 45 54 0 0 74

N.S.

1 1.00 0.62 0.55 0.53 0.64 0.00 0.00 0.87

time (sec)

N/A 0.207 0.386 2.261 0.279 0.349 0.000 0.000 0.215

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 45 39 47 46 0 0 61

N.S.

1 1.00 0.69 0.60 0.72 0.71 0.00 0.00 0.94

time (sec)

N/A 0.187 0.394 2.237 0.288 0.382 0.000 0.000 10.088

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 36 30 28 37 0 0 49

N.S.

1 1.00 0.84 0.70 0.65 0.86 0.00 0.00 1.14

time (sec)

N/A 0.174 0.343 2.310 0.279 0.389 0.000 0.000 10.205

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 29 25 25 32 0 18 24

N.S.

1 1.00 1.45 1.25 1.25 1.60 0.00 0.90 1.20

time (sec)

N/A 0.143 0.281 2.551 0.303 0.405 0.000 0.270 0.151

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 30 71 50 0 64 0 35 0

N.S.

1 1.20 2.84 2.00 0.00 2.56 0.00 1.40 0.00

time (sec)

N/A 0.153 0.355 2.229 0.000 0.418 0.000 0.278 0.000

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 74 86 0 116 0 0 0

N.S.

1 1.00 1.30 1.51 0.00 2.04 0.00 0.00 0.00

time (sec)

N/A 0.177 0.445 2.228 0.000 0.281 0.000 0.000 0.000

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 81 124 0 139 0 67 0

N.S.

1 1.00 0.94 1.44 0.00 1.62 0.00 0.78 0.00

time (sec)

N/A 0.190 0.494 2.298 0.000 0.288 0.000 0.277 0.000

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 68 60 58 64 0 0 93

N.S.

1 1.00 0.61 0.54 0.52 0.58 0.00 0.00 0.84

time (sec)

N/A 0.212 0.559 2.308 0.310 0.277 0.000 0.000 0.304

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 59 51 36 55 0 79 80

N.S.

1 1.00 0.68 0.59 0.41 0.63 0.00 0.91 0.92

time (sec)

N/A 0.201 0.517 2.221 0.296 0.281 0.000 0.297 10.313

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 51 43 36 47 0 0 48

N.S.

1 1.00 0.76 0.64 0.54 0.70 0.00 0.00 0.72

time (sec)

N/A 0.190 0.486 2.425 0.282 0.293 0.000 0.000 10.247

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 43 35 20 39 0 41 52

N.S.

1 1.00 0.96 0.78 0.44 0.87 0.00 0.91 1.16

time (sec)

N/A 0.173 0.445 2.282 0.314 0.274 0.000 0.290 0.190

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 38 30 15 34 0 25 24

N.S.

1 1.00 1.73 1.36 0.68 1.55 0.00 1.14 1.09

time (sec)

N/A 0.146 0.409 2.277 0.278 0.322 0.000 0.288 0.206

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 83 60 0 106 0 57 0

N.S.

1 1.00 1.66 1.20 0.00 2.12 0.00 1.14 0.00

time (sec)

N/A 0.172 0.437 2.643 0.000 0.389 0.000 0.274 0.000

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 87 93 0 139 0 76 0

N.S.

1 1.00 1.10 1.18 0.00 1.76 0.00 0.96 0.00

time (sec)

N/A 0.196 0.492 2.211 0.000 0.401 0.000 0.295 0.000

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 87 135 0 147 0 0 0

N.S.

1 1.00 0.81 1.25 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.204 0.608 2.315 0.000 0.378 0.000 0.000 0.000

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 19 34 27 46 38 18

N.S.

1 1.00 1.00 0.83 1.48 1.17 2.00 1.65 0.78

time (sec)

N/A 0.145 0.041 2.208 0.298 0.453 0.521 0.261 11.925

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 32 40 0 45 0 37 0

N.S.

1 1.00 1.39 1.74 0.00 1.96 0.00 1.61 0.00

time (sec)

N/A 0.150 0.116 2.171 0.000 0.324 0.000 0.281 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 23 39 35 48 42 19

N.S.

1 1.00 1.00 0.85 1.44 1.30 1.78 1.56 0.70

time (sec)

N/A 0.144 0.047 2.198 0.327 0.280 1.265 0.272 10.187

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 36 50 0 63 0 43 0

N.S.

1 1.00 1.33 1.85 0.00 2.33 0.00 1.59 0.00

time (sec)

N/A 0.149 0.136 2.249 0.000 0.290 0.000 0.285 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F(-2) F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

309 246 150 0 0 292 0 0 0

N.S.

1 0.80 0.49 0.00 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.401 0.906 0.000 0.000 0.315 0.000 0.000 0.000

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F A F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

269 215 142 0 0 282 0 165 0

N.S.

1 0.80 0.53 0.00 0.00 1.05 0.00 0.61 0.00

time (sec)

N/A 0.388 0.652 0.000 0.000 0.336 0.000 0.284 0.000

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F(-2) F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

270 216 151 0 0 321 0 0 0

N.S.

1 0.80 0.56 0.00 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.370 0.669 0.000 0.000 0.320 0.000 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 31 35 30 0 45 0 21 49

N.S.

1 0.89 1.00 0.86 0.00 1.29 0.00 0.60 1.40

time (sec)

N/A 0.159 0.320 2.267 0.000 0.340 0.000 0.295 10.511

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 63 47 35 0 61 0 0 37

N.S.

1 0.89 0.66 0.49 0.00 0.86 0.00 0.00 0.52

time (sec)

N/A 0.183 0.389 2.315 0.000 0.291 0.000 0.000 0.285

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 94 54 44 0 78 0 54 46

N.S.

1 0.89 0.51 0.42 0.00 0.74 0.00 0.51 0.43

time (sec)

N/A 0.193 0.432 2.308 0.000 0.305 0.000 0.291 10.491

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 125 62 52 0 94 0 0 118

N.S.

1 0.89 0.44 0.37 0.00 0.67 0.00 0.00 0.84

time (sec)

N/A 0.210 0.500 2.401 0.000 0.300 0.000 0.000 10.507

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F(-2) F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

340 275 170 0 0 366 0 0 0

N.S.

1 0.81 0.50 0.00 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.430 1.016 0.000 0.000 0.401 0.000 0.000 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F A F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

309 247 161 0 0 361 0 185 0

N.S.

1 0.80 0.52 0.00 0.00 1.17 0.00 0.60 0.00

time (sec)

N/A 0.416 0.957 0.000 0.000 0.444 0.000 0.308 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F A F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

270 216 152 0 0 356 0 165 0

N.S.

1 0.80 0.56 0.00 0.00 1.32 0.00 0.61 0.00

time (sec)

N/A 0.368 0.811 0.000 0.000 0.388 0.000 0.299 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F A F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

241 190 111 0 0 284 0 145 0

N.S.

1 0.79 0.46 0.00 0.00 1.18 0.00 0.60 0.00

time (sec)

N/A 0.339 0.563 0.000 0.000 0.399 0.000 0.289 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 31 35 30 0 40 0 0 24

N.S.

1 0.89 1.00 0.86 0.00 1.14 0.00 0.00 0.69

time (sec)

N/A 0.153 0.410 2.334 0.000 0.645 0.000 0.000 10.474

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 63 40 35 0 53 0 39 65

N.S.

1 0.89 0.56 0.49 0.00 0.75 0.00 0.55 0.92

time (sec)

N/A 0.175 0.481 2.250 0.000 0.352 0.000 0.301 10.646

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 94 49 44 0 70 0 0 88

N.S.

1 0.89 0.46 0.42 0.00 0.66 0.00 0.00 0.83

time (sec)

N/A 0.187 0.620 2.229 0.000 0.320 0.000 0.000 10.556

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 125 57 52 0 86 0 69 111

N.S.

1 0.89 0.40 0.37 0.00 0.61 0.00 0.49 0.79

time (sec)

N/A 0.212 0.794 2.250 0.000 0.301 0.000 0.308 0.375

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 68 178 468 317 2059 548 332

N.S.

1 1.00 0.81 2.12 5.57 3.77 24.51 6.52 3.95

time (sec)

N/A 0.233 0.249 2.356 0.210 0.300 1.298 0.271 10.574

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 50 94 233 173 876 288 186

N.S.

1 1.00 0.82 1.54 3.82 2.84 14.36 4.72 3.05

time (sec)

N/A 0.206 0.222 2.255 0.210 0.334 0.723 0.268 10.436

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 36 40 91 76 267 118 86

N.S.

1 1.00 0.90 1.00 2.28 1.90 6.68 2.95 2.15

time (sec)

N/A 0.181 0.123 2.419 0.207 0.282 0.389 0.268 9.911

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 59 0 0 0 0 0 0

N.S.

1 1.00 1.55 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.160 0.255 0.000 0.000 0.000 0.000 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 102 0 0 0 0 0 0

N.S.

1 1.00 2.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.168 0.337 0.000 0.000 0.000 0.000 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

46 46 153 0 0 0 0 0 0

N.S.

1 1.00 3.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.166 0.391 0.000 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

59 83 347 0 0 0 0 0 0

N.S.

1 1.41 5.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.215 1.389 0.000 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

83 83 227 0 0 0 0 0 0

N.S.

1 1.00 2.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.214 1.081 0.000 0.000 0.000 0.000 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

59 83 191 0 0 0 0 0 0

N.S.

1 1.41 3.24 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.210 0.746 0.000 0.000 0.000 0.000 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 83 86 0 0 0 0 0 0

N.S.

1 1.24 1.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.211 0.435 0.000 0.000 0.000 0.000 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 81 84 0 0 0 0 0 0

N.S.

1 1.21 1.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.211 0.534 0.000 0.000 0.000 0.000 0.000 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.218 0.613 0.000 0.000 0.000 0.000 0.000 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 83 92 0 0 0 0 0 0

N.S.

1 1.38 1.53 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.222 0.813 0.000 0.000 0.000 0.000 0.000 0.000

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 83 91 0 0 0 0 0 0

N.S.

1 1.22 1.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.219 0.980 0.000 0.000 0.000 0.000 0.000 0.000

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 85 85 0 0 0 0 0 0

N.S.

1 1.35 1.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.230 0.201 0.000 0.000 0.000 0.000 0.000 0.000

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F F B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 116 104 0 0 479 0 0

N.S.

1 1.00 2.04 1.82 0.00 0.00 8.40 0.00 0.00

time (sec)

N/A 0.192 0.461 4.408 0.000 0.000 2.187 0.000 0.000

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 86 75 0 0 116 0 0

N.S.

1 1.00 1.51 1.32 0.00 0.00 2.04 0.00 0.00

time (sec)

N/A 0.192 0.367 3.532 0.000 0.000 1.744 0.000 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 56 56 47 0 0 78 0 58

N.S.

1 0.98 0.98 0.82 0.00 0.00 1.37 0.00 1.02

time (sec)

N/A 0.172 0.211 2.963 0.000 0.000 1.357 0.000 10.923

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 21 0 0 24 0 19

N.S.

1 1.00 1.00 0.95 0.00 0.00 1.09 0.00 0.86

time (sec)

N/A 0.145 0.088 2.350 0.000 0.000 0.582 0.000 10.857

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

41 54 76 0 0 0 318 0 0

N.S.

1 1.32 1.85 0.00 0.00 0.00 7.76 0.00 0.00

time (sec)

N/A 0.189 0.344 0.000 0.000 0.000 3.287 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 76 0 0 0 0 0 0

N.S.

1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.197 0.433 0.000 0.000 0.000 0.000 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 76 0 0 0 0 0 0

N.S.

1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.194 0.475 0.000 0.000 0.000 0.000 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 73 155 0 0 0 476 0 0

N.S.

1 1.22 2.58 0.00 0.00 0.00 7.93 0.00 0.00

time (sec)

N/A 0.199 0.479 0.000 0.000 0.000 2.068 0.000 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 71 134 0 0 0 124 0 0

N.S.

1 1.18 2.23 0.00 0.00 0.00 2.07 0.00 0.00

time (sec)

N/A 0.197 0.315 0.000 0.000 0.000 1.625 0.000 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 83 0 0 0 82 0 78

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.99 0.00 0.94

time (sec)

N/A 0.194 0.229 0.000 0.000 0.000 1.257 0.000 12.163

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 73 75 0 0 0 318 0 0

N.S.

1 1.33 1.36 0.00 0.00 0.00 5.78 0.00 0.00

time (sec)

N/A 0.194 0.291 0.000 0.000 0.000 3.134 0.000 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 73 75 0 0 0 0 0 0

N.S.

1 1.26 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.194 0.347 0.000 0.000 0.000 0.000 0.000 0.000

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

62 73 75 0 0 0 0 0 0

N.S.

1 1.18 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.194 0.367 0.000 0.000 0.000 0.000 0.000 0.000

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

85 85 189 0 0 0 0 0 0

N.S.

1 1.00 2.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.222 1.206 0.000 0.000 0.000 0.000 0.000 0.000

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 89 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.223 0.747 0.000 0.000 0.000 0.000 0.000 0.000

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 89 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.237 0.892 0.000 0.000 0.000 0.000 0.000 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 92 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.234 1.078 0.000 0.000 0.000 0.000 0.000 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 36 42 36 49 26 26

N.S.

1 1.00 1.00 1.29 1.50 1.29 1.75 0.93 0.93

time (sec)

N/A 0.188 0.006 2.672 0.313 0.283 1.479 0.285 10.298

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 45 47 47 51 47 47

N.S.

1 1.00 1.00 3.00 3.13 3.13 3.40 3.13 3.13

time (sec)

N/A 0.158 0.003 2.141 0.203 0.371 0.022 0.269 9.789

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 31 30 35 39 33 35

N.S.

1 1.00 1.00 2.07 2.00 2.33 2.60 2.20 2.33

time (sec)

N/A 0.156 0.002 0.157 0.197 0.343 0.019 0.271 0.047

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 15 25 14 23 23 24 23 22

N.S.

1 0.60 1.00 0.56 0.92 0.92 0.96 0.92 0.88

time (sec)

N/A 0.146 0.000 0.038 0.201 0.375 0.024 0.282 0.033

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 15 14 12 12 12 12 12 11

N.S.

1 1.07 1.00 0.86 0.86 0.86 0.86 0.86 0.79

time (sec)

N/A 0.148 0.001 2.246 0.187 0.336 0.022 0.276 0.024

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 3 4 3 3 2 113 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 0.67 37.67 1.00

time (sec)

N/A 0.139 0.000 2.098 0.197 0.285 0.026 0.279 0.006

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 11 11 8 12 11

N.S.

1 1.00 1.00 1.09 1.00 1.00 0.73 1.09 1.00

time (sec)

N/A 0.149 0.001 2.095 0.187 0.265 0.026 0.278 9.513

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 14 14 10 13 13

N.S.

1 1.00 1.00 1.08 1.08 1.08 0.77 1.00 1.00

time (sec)

N/A 0.151 0.003 2.111 0.188 0.256 0.061 0.263 0.040

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 25 25 26 13 24

N.S.

1 1.00 1.00 0.93 1.67 1.67 1.73 0.87 1.60

time (sec)

N/A 0.156 0.003 2.358 0.184 0.292 0.089 0.278 9.531

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 36 36 37 13 35

N.S.

1 1.00 1.00 0.93 2.40 2.40 2.47 0.87 2.33

time (sec)

N/A 0.153 0.003 2.376 0.188 0.280 0.129 0.282 9.573

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 69 85 85 90 85 85

N.S.

1 1.00 1.00 4.06 5.00 5.00 5.29 5.00 5.00

time (sec)

N/A 0.165 0.003 2.466 0.186 0.274 0.024 0.265 0.038

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 31 30 71 80 60 71

N.S.

1 1.00 1.00 1.82 1.76 4.18 4.71 3.53 4.18

time (sec)

N/A 0.157 0.003 2.372 0.211 0.267 0.024 0.277 0.030

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 47 68 57 60 57 57

N.S.

1 1.00 1.00 2.76 4.00 3.35 3.53 3.35 3.35

time (sec)

N/A 0.155 0.001 2.276 0.209 0.345 0.021 0.287 0.025

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 27 43 43 46 43 43

N.S.

1 1.00 1.00 1.59 2.53 2.53 2.71 2.53 2.53

time (sec)

N/A 0.165 0.001 2.437 0.182 0.344 0.028 0.281 0.049

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 29 29 29 15 24

N.S.

1 1.00 1.00 0.94 1.71 1.71 1.71 0.88 1.41

time (sec)

N/A 0.160 0.002 2.375 0.181 0.345 0.031 0.272 0.040

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 16 14 16 16 15 16 13

N.S.

1 1.00 0.94 0.82 0.94 0.94 0.88 0.94 0.76

time (sec)

N/A 0.164 0.001 2.264 0.186 0.344 0.046 0.293 0.025

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 3 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 0.60 1.00 1.00

time (sec)

N/A 0.147 0.000 2.512 0.189 0.486 0.032 0.267 0.007

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 13 13 10 27 13

N.S.

1 1.00 1.00 1.08 1.00 1.00 0.77 2.08 1.00

time (sec)

N/A 0.154 0.001 2.794 0.186 0.311 0.036 0.298 0.026

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 16 16 16 12 15 15

N.S.

1 1.00 1.00 1.07 1.07 1.07 0.80 1.00 1.00

time (sec)

N/A 0.154 0.001 2.222 0.191 0.257 0.071 0.301 0.022

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 27 27 27 15 26

N.S.

1 1.00 1.00 0.94 1.59 1.59 1.59 0.88 1.53

time (sec)

N/A 0.151 0.001 2.325 0.195 0.263 0.095 0.277 0.027

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 38 38 39 15 37

N.S.

1 1.00 1.00 0.94 2.24 2.24 2.29 0.88 2.18

time (sec)

N/A 0.156 0.002 2.139 0.202 0.305 0.130 0.284 0.030

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 37 37 39 37 43

N.S.

1 1.00 1.00 0.94 2.18 2.18 2.29 2.18 2.53

time (sec)

N/A 0.163 0.001 2.378 0.191 0.296 0.036 0.277 0.049

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 26 26 24 26 24

N.S.

1 1.00 1.00 0.94 1.53 1.53 1.41 1.53 1.41

time (sec)

N/A 0.154 0.001 2.258 0.199 0.277 0.032 0.272 0.035

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 16 14 15 15 12 15 13

N.S.

1 1.00 0.94 0.82 0.88 0.88 0.71 0.88 0.76

time (sec)

N/A 0.152 0.001 2.232 0.203 0.358 0.032 0.283 0.024

[next] [prev] [prev-tail] [front] [up]